Specification of (parts of) a Lip-Sync Protocol Using HyCharts
نویسنده
چکیده
This paper presents the speciication of some parts of a lip-synchronization protocol using HyCharts GSB98]. The speciication is based on a timed automata model for the protocol presented in BFK + 98]. The primary motivation of this work is to examine the utility of HyCharts for problems in the multimedia eld, in particular in comparison to timed automata AD94].
منابع مشابه
Speci cation of parts of a Lip Sync Protocol Using HyCharts
This paper presents the speci cation of some parts of a lip synchronization protocol using HyCharts GSB The speci cation is based on a timed automata model for the protocol presented in BFK The primary motivation of this work is to examine the utility of HyCharts for problems in the multimedia eld in particular in comparison to timed automata AD
متن کاملAnimating Lip-Sync Characters
Speech animation is traditionally considered as important but tedious work for most applications, especially when taking lip synchronization (lip-sync) into consideration, because the muscles on the face are complex and interact dynamically. Although there are several methods proposed to ease the burden on artists to create facial and speech animation, almost none are fast and efficient. In thi...
متن کاملUsing Integer Clocks to Verify the Timing-Sync Sensor Network Protocol
We use the UPPAAL model checker for Timed Automata to verify the Timing-Sync time-synchronization protocol for sensor networks (TPSN). The TPSN protocol seeks to provide network-wide synchronization of the distributed clocks in a sensor network. Clock-synchronization algorithms for sensor networks such as TPSN must be able to perform arithmetic on clock values to calculate clock drift and netwo...
متن کاملModular and Visual Specification of Hybrid Systems
Visual description techniques are particularly important for the design of hybrid systems, because specifications of such systems usually have to be discussed between engineers from a number of different disciplines. Modularity is vital for hybrid systems not only because it allows to handle large systems, but also because it permits to think in terms of components, which is familiar to enginee...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999